Pragmatics of the Action Semantics Approach: Fault Tolerance as an Example
نویسنده
چکیده
In this paper we show how the action semantics framework can be used to describe a particular implementation of fault-tolerant systems. We also de ne a notion of simulation which can be the basis for relating a fault-tolerant implementation to an abstract (non-faulty, and non-fault tolerant) speci cation. The aim of the paper is to illustrate that good software engineering techniques can be applied to semantic descriptions. Issues such as modularity, extensibility of the semantic descriptions is illustrated.
منابع مشابه
Stability Assessment Metamorphic Approach (SAMA) for Effective Scheduling based on Fault Tolerance in Computational Grid
Grid Computing allows coordinated and controlled resource sharing and problem solving in multi-institutional, dynamic virtual organizations. Moreover, fault tolerance and task scheduling is an important issue for large scale computational grid because of its unreliable nature of grid resources. Commonly exploited techniques to realize fault tolerance is periodic Checkpointing that periodically ...
متن کاملA PROCESS ALGEBRAIC APPROACH TO FAULT-TOLERANCE PADMANABHAN KRISHNAN and BRUCE McKENZIE
A process algebraic approach to the speci cation of fault tolerant systems is described. As replication is inevitable for fault tolerance, we extend the process algebra of Aceto and Hennessy with a replication operator. An operational semantics for replicated processes with majority voting is developed. We model faults as action re nement and show how the e ect of faults on a replicated system ...
متن کاملAN INTELLIGENT FAULT DIAGNOSIS APPROACH FOR GEARS AND BEARINGS BASED ON WAVELET TRANSFORM AS A PREPROCESSOR AND ARTIFICIAL NEURAL NETWORKS
In this paper, a fault diagnosis system based on discrete wavelet transform (DWT) and artificial neural networks (ANNs) is designed to diagnose different types of fault in gears and bearings. DWT is an advanced signal-processing technique for fault detection and identification. Five features of wavelet transform RMS, crest factor, kurtosis, standard deviation and skewness of discrete wavelet co...
متن کاملAn approach to fault detection and correction in design of systems using of Turbo codes
We present an approach to design of fault tolerant computing systems. In this paper, a technique is employed that enable the combination of several codes, in order to obtain flexibility in the design of error correcting codes. Code combining techniques are very effective, which one of these codes are turbo codes. The Algorithm-based fault tolerance techniques that to detect errors rely on the c...
متن کاملTimed Probabilistic Reasoning on UML Specialization for Fault Tolerant Component Based Architectures
Architecture-based reasoning about reliability and fault tolerance is gaining increasing importance as component-based software architectures become more widespread. Architectural description languages (ADLs) are used to specify high-level views of software design. ADLs usually involve a static, structural view of a system together with a dynamic, state-transition-style semantics, facilitating ...
متن کامل